Chore/cicd optimizations#5
Conversation
Add AI manifest, Trustfile, Dustfile, and assail recipe as part of the Floor Raise campaign to establish baseline tooling across all repos. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
Standard RSR documentation: quotes README claims, lists tech choices with links, honest caveats, dogfooding table. See rsr-template-repo for the pattern. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 8dc9f690cc
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
| # Find any uses: lines that don't have @SHA format | ||
| # Pattern: uses: owner/repo@<40-char-hex> | ||
| unpinned=$(grep -rn "uses:" .github/workflows/ | \ | ||
| unpinned=$(grep -rnE "^[[:space:]]+uses:" .github/workflows/ | \ |
There was a problem hiding this comment.
Match
- uses: lines in SHA pinning check
The updated regex only captures lines that begin with whitespace immediately followed by uses:, so it skips the common step shorthand - uses:. In this repo, many workflows (for example mirror.yml and scorecard-enforcer.yml) use that shorthand, which means unpinned actions in those steps will bypass this linter entirely and the security gate can report a false pass.
Useful? React with 👍 / 👎.
| = polyglot-formalisms-elixir | ||
| :toc: preamble | ||
| :icons: font |
There was a problem hiding this comment.
Keep README filename consistent with docs config
This change replaces README.md with README.adoc, but mix.exs still declares docs: [extras: ["README.md"]]. As soon as mix docs is run, ExDoc will try to load a non-existent extra file and docs generation will fail; update the docs extras (or keep a README.md) to avoid breaking documentation workflows.
Useful? React with 👍 / 👎.
No description provided.